($x$ after $e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$s(1of($e$);2of($e$)+1).$x$